The Boolean algebra of Galois algebras

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A new branch of the logical algebra: UP-algebras

In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...

متن کامل

the structure of lie derivations on c*-algebras

نشان می دهیم که هر اشتقاق لی روی یک c^*-جبر به شکل استاندارد است، یعنی می تواند به طور یکتا به مجموع یک اشتقاق لی و یک اثر مرکز مقدار تجزیه شود. کلمات کلیدی: اشتقاق، اشتقاق لی، c^*-جبر.

15 صفحه اول

Existence in Galois Algebra

Let p be a canonically associative, multiplicative, separable subset. We wish to extend the results of [5] to totally super-admissible, Eratosthenes, canonical paths. We show that ‖G‖ 6 = |F |. A central problem in local logic is the description of partially irreducible scalars. The groundbreaking work of W. Cardano on planes was a major advance.

متن کامل

The Representation of Boolean Algebras

1. Introduction. In this brief address I shall set myself a twofold aim: to review the theory of Boolean algebras, as we understand it today, and to sketch certain historical phases of its development. Although I am in no sense prepared to offer the fruits of painstaking historical research, I believe that by a few pertinent historical observations I shall be able to bring out the underlying ev...

متن کامل

Robbins Algebras vs. Boolean Algebras

In the early 1930s, Huntington proposed several axiom systems for Boolean algebras. Robbins slightly changed one of them and asked if the resulted system is still a basis for variety of Boolean algebras. The solution (afirmative answer) was given in 1996 by McCune with the help of automated theorem prover EQP/OTTER. Some simplified and restucturized versions of this proof are known. In our vers...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: International Journal of Mathematics and Mathematical Sciences

سال: 2003

ISSN: 0161-1712,1687-0425

DOI: 10.1155/s0161171203202210